Crate oxidd_rules_zbdd

Rules and other basic definitions for zero-suppressed binary decision diagrams

Feature flags

• multi-threading — Enable multi-threaded apply implementations
• statistics — Enable statistics generation

Structs

• ParseTerminalErr
  Error returned when parsing a ZBDDTerminal from string fails
• ZBDDCache
• ZBDDFunction
• ZBDDRules
  DiagramRules for simple binary decision diagrams

Enums

• ZBDDOp
  Native operations of this ZBDD implementation
• ZBDDTerminal
  Terminal nodes in simple binary decision diagrams

Traits

• HasZBDDCache

Functions

• make_node
  Create a set that corresponds to a ZBDD node at the level of var with the given hi and lo edges
• var_boolean_function
  Get the Boolean function v for the singleton set {v} (given by singleton)